linux_user_ss.add(when: 'TARGET_ARM', if_true: files(
  'double_cpdo.c',
  'extended_cpdo.c',
  'fpa11.c',
  'fpa11_cpdo.c',
  'fpa11_cpdt.c',
  'fpa11_cprt.c',
  'fpopcode.c',
  'single_cpdo.c',
))
